Abstractions += Landmarks
نویسندگان
چکیده
ions += Landmarks Carmel Domshlak and Michael Katz and Sagi Lefler Faculty of Industrial Engineering and Management Technion—Israel Institute of Technology Haifa, Israel
منابع مشابه
When Abstractions Met Landmarks
Abstractions and landmarks are two powerful mechanisms for devising admissible heuristics forions and landmarks are two powerful mechanisms for devising admissible heuristics for classical planning. Here we aim at putting them together by integrating landmark information into abstractions, and propose a concrete realization ofions, and propose a concrete realization of this direction suitable f...
متن کاملLandmarks, Critical Paths and Abstractions: What's the Difference Anyway?
Current heuristic estimators for classical domain-independent planning are usually based on one of four ideas: delete relaxations, critical paths, abstractions, and, most recently, landmarks. Previously, these different ideas for deriving heuristic functions were largely unconnected. We prove that admissible heuristics based on these ideas are in fact very closely related. Exploiting this relat...
متن کاملDeterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations
While in classical planning the objective is to achieve one of the equally attractive goal states at as low total action cost as possible, the objective in deterministic oversubscription planning (OSP) is to achieve an as valuable as possible subset of goals within a fixed allowance of the total action cost. Although numerous applications in various fields share the latter objective, no substan...
متن کاملSub-linear Algorithms for Landmark Discovery from Black Box Models
Most models of qualitative reasoning depend upon qualitative representations of quantity that make the necessary and relevant distinctions for the reasoning task at hand. Automatically generating such abstractions from numerical models has been pointed out to be a practically significant and potentially difficult problem [Struss, 2003]. Previous work, by Sachenbacher and Struss [2001], used fin...
متن کاملThe role of concurrency in an evolutionary view of programming abstractions
In this paper we examine how concurrency has been embodied in mainstream programming languages. In particular, we rely on the evolutionary talking borrowed from biology to discuss major historical landmarks and crucial concepts that shaped the development of programming languages. We examine the general development process, occasionally deepening into some language, trying to uncover evolutiona...
متن کامل